Axiom systems of Aristotle traditional logic
نویسندگان
چکیده
منابع مشابه
Aristotle and Gautama on Logic and Physics
Physics as part of natural science and philosophy explicitly or implicitly uses logic, and from this point of view all cultures that studied nature [e.g. 1-4] must have had logic. But the question of the origins of logic as a formal discipline is of special interest to the historian of physics since it represents a turning inward to examine the very nature of reasoning and the relationship betw...
متن کاملTraditional Logic CS 3234: Logic and Formal Systems
Our first deductive system expresses relationships between classes of things. Each class is represented by a noun naming the class, or by an adjective that describes a property that distinguishes the members of the class from nonmembers. These nouns or adjectives denoting classes of things are called categorical terms, or simply terms. For example, the term animals refers to the class of things...
متن کاملTowards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore’s Autoepistemic Logic, Konolige’s variant based on moderately grounded expansions, and Reiter’s default logic. Defaults have a uniform representation under all three interpretations in the new logic. Moreover, the logic itself is monotonic, that is, nonmonotonic...
متن کاملThe Axiom of Choice and Combinatory Logic (preliminary Draft)
We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice. §1. The problem. It is well-known that combinatory logic is inconsistent with the choice schema ACV for operations: (∀x)(∃y)A(x, y)→ (∃f)(∀x)A(x, fx) (1) where A is an arbitr...
متن کاملTraditional Logic, Modern Logic and Natural Language
. . . Wikipedia [38] defines: traditional logic is ‘a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century’. It is of great interest to place the transitions between traditional and modern logic. In this paper I will say where I think the main differences lie. In my last section I will co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy, Series A, Mathematical Sciences
سال: 1967
ISSN: 0386-2194
DOI: 10.3792/pja/1195521695